3G认证和密钥分配协议的形式化分析及改进

介绍了第三代移动通信系统所采用的认证和密钥分配(AKA)协议,网络归属位置寄存器/访问位置寄存器(HLR/VLR)对用户UE(用户设备)的认证过程和用户UE对网络HLR/VLR的认证过程分别采用了两种不同的认证方式,前者采用基于"询问-应答"式的认证过程,后者采用基于"知识证明"式的认证过程.使用BAN形式化逻辑分析方法分别对这两种认证过程进行了分析,指出在假定HLR与VLR之间系统安全的前提下,基于"知识证明"式的认证过程仍然存在安全漏洞.3GPP采取基于顺序号的补充措施;同时,文中指出了另一种改进方案.     

基于西门子楼宇自控系统的中央空调计费系统

介绍了基于西门子楼宇自控系统的空调计费系统的软硬件设计和具体实现.该系统的特点是借助西门子S600系统强大的数据处理和控制能力,采用时间记录和能量测量相结合的方法进行计费,具有实时监测和定时输出报表功能.该系统计量准确、计费合理、安全可靠、性价比高,满足了现代物业管理的需要.     

关于基站防雷接地的问题

着重讨论避雷针接受雷电流时的泻流方法和女儿墙上的避雷带的作用，以及如果用避雷带作为接地点，可能会带来的隐患。     

一种具有弹性服务质量要求的多业务最优接纳控制策略

随着无线网络所支持的业务种类的增加和具有弹性服务质量要求的业务的大量出现，与服务质量保证密切相关的呼叫接纳控制问题成了近年来无线网络研究的热点之一。本文研究了基于准马尔可夫决策过程方法的多业务最优呼叫接纳控制问题。根据业务的特点，首先引入了带宽分配满意度函数和收益率函数，在此基础上，提出了基于带宽分配满意度的最优带宽分配算法和基于准马尔可夫决策过程方法的最优呼叫接纳控制策略。计算结果表明，本文方案能够在对各类业务的呼叫阻塞率进行适当权衡的前提下，进一步提高网络的期望收益率和期望带宽利用率，同时满足了各类业务的最低服务质量要求。     

CDMA系统中联合功率控制、波束赋形与多用户检测

应用功率控制、波束赋形和多用户检测可以有效地消除和减少CDMA系统中的干扰。本文结合波束赋形和多用户检测的特性，提出一种应用波束赋形增益和多用户相关矩阵的解相关算法。基于算法的复杂性，提出一种区分聚集用户进行多用户检测的的算法。由于波束赋形能够消减主瓣波束之外的多用户干扰，对聚集移动台采用解相关检测达到减少运算量和消除多用户干扰的目的。对算法进行了仿真分析，证明了本算法的优越性。     

Special Apodized Fiber Bragg Grating for Flat—top Band—pass Reflectivity Filter

The characteristics of special apodized fiber Bragg grating (FBG) in flat--top pass--band as reflectivity filter are presented. This special apodized FBG was designed by the particle swarm optimization algorithm. Compared with conventional apodized FBG, the special apodized FBG presented was more robust in the flat—top pass——band characteristic even if the strength of grating is very week. This technology is very interesting in designing the filter for wavelength division multiplexing system.     

欠驱动系统Pendubot的模糊控制策略

本文针对欠驱动Pendubot机器人系统，提出一种简单可靠的摇起及平衡控制策略。通过利用模糊控制及全状态反馈控制技术来分别设计摇起控制器及平衡控制器，其中模糊摇起控制器的设计使得系统的摇起可靠性得到大大的加强，并缩短了响应时间，两个控制器的转换通过转换装置实现。最后的仿真结果验证了算法的有效性。     

TCP/IP网络的动态模型描述

拥塞现象成为TCP/IP网络发展面临的一个重要问题。因此，拥塞控制对TCP/IP网络的鲁棒性和稳定性具有重要作用。目前，网络拥塞控制策略主要包括两类：端到端的控制机制，如TCP拥塞控制算法；网络内部的主动队列管理(AQM)策略。但由于缺乏对网络系统动态特性的了解，这些拥塞控制策略大都基于专家经验，并没有建立完整的理论分析框架。为此，本文从数据流的角度出发，通过建立网络基本单元状态方程模型来实现IP网络系统的数学解析模型，然后用混杂系统来描述TCP带有拥塞控制策略的数据传输过程，建立了TCP/IP网络的动态模型，为网络系统中动态性能的分析、拥塞控制策略的设计奠定了基础。实验结果表明，该数学模型与NS仿真实验的结果相一致。     

以寻呼区分析为基础的PHS网络优化方法

通过分析PHS网络中各寻呼区的统计指标,剖析指标劣化的根本原因,采取修改相应的参数配置、移站、调整天线等措施进行网络优化,优化实施后再次收集统计指标做对比分析,总结经验。     

The Effect of Structural Defects on the Thermal Conductivity of ZnS, ZnSe, and CdTe Polycrystals

ZnS, ZnSe, and CdTe polycrystals are experimentally investigated. Mechanisms are treated which restrict the thermal conductivity in samples prepared by recrystallization pressing and by deposition from the vapor phase and subjected to additional strain. Anomalies are observed on the temperature dependences of the thermal resistance of investigated samples, which are due to the special features of their phonon spectra and to the variation of the contribution made by longitudinal and transverse phonon branches to the heat transfer in the Debye temperature region and higher.